#include<cstdio>
int main()
{
	int a,b;
	scanf("%d%d",&a,&b);
	printf("%.3f",a*1.0/b);
	return 0;
	
}
